i, j:. i <z j   

latex

Up	bool 1, bool 1
Definitions	i <z j, t  T, x:A. B(x), A, P  Q, False
Lemmas	bfalse wf, btrue wf